Auto merge of #1535 - mohtar:doc-open, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 19 Apr 2015 07:53:21 +0000 (07:53 +0000)
committerbors <bors@rust-lang.org>
Sun, 19 Apr 2015 07:53:21 +0000 (07:53 +0000)
`start` is not an actual executable, but rather a built-in command in Command Prompt. The correct way of launching a file using the default application is thus: `cmd /C start "" <file>`.

Fixes #741.


Trivial merge